A. I. Provotar: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

To the problem of incompleteness of theoretical constructs (illustrated by examples of formalization of some problems of natural sciences)

P. V. Vasilik, A. I. Provotar

Journal:

Cybernetics and Systems Analysis

Year:

2006

Language:

english

File:

PDF, 68 KB

english, 2006

2

[IEEE 2019 IEEE International Conference on Advanced Trends in Information Theory (ATIT) - Kyiv, Ukraine (2019.12.18-2019.12.20)] 2019 IEEE International Conference on Advanced Trends in Information Theory (ATIT) - Unsupervised Anomaly Detection in Time Series Using LSTM-Based Autoencoders

Provotar, Oleksandr I., Linder, Yaroslav M., Veres, Maksym M.

Year:

2019

Language:

english

File:

PDF, 1.66 MB

english, 2019

3

Sigmastat system: Concepts and features

I. V. Sergienko, I. N. Parasyuk, A. V. Kalita, E. S. Karpinka, A. I. Provotar, N. P. Skopetskaya

Journal:

Cybernetics and Systems Analysis

Year:

1991

Language:

english

File:

PDF, 801 KB

english, 1991

4

Decidability of the problem of semantic equivalence of words in the class of syntax-directed translations

A. I. Provotar'

Journal:

Cybernetics and Systems Analysis

Year:

1988

Language:

english

File:

PDF, 460 KB

english, 1988

5

Using categorical methods in computer science

I. V. Sergienko, I. N. Parasyuk, A. I. Provotar

Journal:

Cybernetics and Systems Analysis

Year:

2000

Language:

english

File:

PDF, 716 KB

english, 2000

6

On Formal Models in Investigating Critical Velocities (Illustrated by Lorentz's Transformations)

P.V. Vasilik, A.I. Provotar

Journal:

Cybernetics and Systems Analysis

Year:

2002

Language:

english

File:

PDF, 61 KB

english, 2002

7

On the paralogicality of some logical constructs

P. V. Vasilik, A. I. Provotar

Journal:

Cybernetics and Systems Analysis

Year:

2008

Language:

english

File:

PDF, 111 KB

english, 2008

8

Formal methods in computer technologies

I. V. Sergienko, I. N. Parasyuk, A. I. Provotar

Journal:

Cybernetics and Systems Analysis

Year:

1998

Language:

english

File:

PDF, 848 KB

english, 1998

9

DNA Secondary Structure Prediction by Fuzzy Logic Inference Systems

Sergienko, I. V., Provotar, O. O.

Journal:

Cybernetics and Systems Analysis

Year:

2014

Language:

english

File:

PDF, 134 KB

english, 2014

10

[IEEE 2019 IEEE International Conference on Advanced Trends in Information Theory (ATIT) - Kyiv, Ukraine (2019.12.18-2019.12.20)] 2019 IEEE International Conference on Advanced Trends in Information Theory (ATIT) - About the Calculation of Fuzzy Events Probabilities by Means of Interval Arithmetics

Provotar, Oleksandr I.

Year:

2019

File:

PDF, 99 KB

2019

11

The Thue problem and logical specifications of derivation in formal systems

A. I. Provotar, Alhi Adnan

Journal:

Cybernetics and Systems Analysis

Year:

1999

Language:

english

File:

PDF, 663 KB

english, 1999

12

A methodology of structured-modular composition programming

I. N. Parasyuk, A. I. Provotar, I. A. Zalozhenkova

Journal:

Cybernetics and Systems Analysis

Year:

1995

Language:

english

File:

PDF, 564 KB

english, 1995

13

On Interpretation of Possibility

Provotar, O. I., Provotar, O. O.

Journal:

Cybernetics and Systems Analysis

Year:

2016

Language:

english

File:

PDF, 124 KB

english, 2016

14

Generalization of Linear Morphisms onNin Topoi

A. I. Chentsov, A. I. Provotar

Journal:

Cybernetics and Systems Analysis

Year:

2005

Language:

english

File:

PDF, 113 KB

english, 2005

15

Determination of vitamins D2and D3in the protein preparation videin using thin-layer chromatography

N. A. Bogoslovskii, N. V. Lopot'ko, V. S. Provotar', O. P. Khorina, N. B. Ostrinskaya

Journal:

Pharmaceutical Chemistry Journal

Year:

1974

Language:

english

File:

PDF, 276 KB

english, 1974

16

Erratum to: Fuzzy Object-Oriented Dynamic Networks. II

Terletskyi, D. A., Provotar, A. I.

Journal:

Cybernetics and Systems Analysis

Year:

2016

File:

PDF, 45 KB

2016

17

The Domain-Specific Language Strumok for Describing Actor-Oriented Systems with Shared Memory

Larin, V. O., Bantysh, O. V., Galkin, O. V., Provotar, O. I.

Journal:

Cybernetics and Systems Analysis

Year:

2018

Language:

english

File:

PDF, 120 KB

english, 2018

18

Translation and deductive incompleteness

Journal:

Cybernetics and Systems Analysis

Year:

1990

Language:

english

File:

PDF, 387 KB

english, 1990

19

Incompleteness in a topos

Journal:

Cybernetics and Systems Analysis

Year:

1996

Language:

english

File:

PDF, 429 KB

english, 1996

20

Linear morphisms in a topos

Journal:

Cybernetics and Systems Analysis

Year:

1997

Language:

english

File:

PDF, 563 KB

english, 1997

21

An approach to the creation of formal models of the influence of environmental impact on the development of biological systems

P. V. Vasilika, A. I. Provotar

Journal:

Cybernetics and Systems Analysis

Year:

1999

Language:

english

File:

PDF, 1.11 MB

english, 1999

22

Fuzzy inference systems and their applications

A. I. Provotar,A. V. Lapko,A. A. Provotar

Journal:

Cybernetics and Systems Analysis

Year:

2013

Language:

english

File:

PDF, 88 KB

english, 2013

23

Credibility in Fuzzy Inference Systems

Provotar, O. I., Provotar, O. O.

Journal:

Cybernetics and Systems Analysis

Year:

2017

Language:

english

File:

PDF, 128 KB

english, 2017

24

Theoretical aspects of structured-modular composition programming: Algebra of morphisms

Journal:

Cybernetics and Systems Analysis

Year:

1993

Language:

english

File:

PDF, 546 KB

english, 1993

25

Theoretical aspects of structured-modular composition programming: Computability of the operations of the algebra of morphisms

Journal:

Cybernetics and Systems Analysis

Year:

1994

Language:

english

File:

PDF, 460 KB

english, 1994

26

Fuzzy Object-Oriented Dynamic Networks. II*

Terletskyi, D. A., Provotar, A. I.

Journal:

Cybernetics and Systems Analysis

Year:

2016

Language:

english

File:

PDF, 128 KB

english, 2016

27

Boolean Algebra as a Fragment of the Theory of Boolean Toposes

A.I. Provotar, V.A. Kondratenko, T.N. Dudka

Journal:

Cybernetics and Systems Analysis

Year:

2001

Language:

english

File:

PDF, 60 KB

english, 2001

28

Fuzzy Probabilities of Fuzzy Events

Provotar, O. I., Provotar, O. O.

Journal:

Cybernetics and Systems Analysis

Year:

2020

File:

PDF, 141 KB

2020

29

Optimization issues in structured-modular composition programming technology

I. N. Parasyuk, A. I. Provotar

Journal:

Cybernetics and Systems Analysis

Year:

1995

Language:

english

File:

PDF, 469 KB

english, 1995

30

Geometry of recursion for arithmetic and existentially defined relations

Journal:

Cybernetics and Systems Analysis

Year:

1996

Language:

english

File:

PDF, 421 KB

english, 1996

31

Fuzzy Object-Oriented Dynamic Networks. I

Terletskyi, D. A., Provotar, A. I.

Journal:

Cybernetics and Systems Analysis

Year:

2015

Language:

english

File:

PDF, 117 KB

english, 2015

32

Case system for structured modular composition programming: Conceptual fundamentals

I. N. Parasyuk, A. V. Kalita, A. I. Provotar

Journal:

Cybernetics and Systems Analysis

Year:

1993

Language:

english

File:

PDF, 476 KB

english, 1993

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски